home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 007 / examples.arc / EXAMPL20.PRO < prev    next >
Encoding:
Prolog Source  |  1986-10-07  |  385 b   |  18 lines
  1. /* Program  20 */
  2. /*
  3.   The goal to enter is on page 70 of the manual.
  4. */
  5.  
  6. domains
  7.     integerlist = integer*
  8.  
  9. predicates
  10.     writelist(integerlist)
  11.     write5(integerlist,integer)
  12.  
  13. clauses
  14.     writelist( NL )   :- nl, write5( NL, 0 ), nl.
  15.     write5( TL, 5 )   :-!, nl, write5( TL, 0).
  16.     write5( [H|T], N ) :- write(H," "),N1=N+1,write5(T,N1).
  17.     write5( [], _ ).
  18.